A Meta-Modeling-Based Approach for Automatic Generation of Fault-Injection Processes
نویسندگان
چکیده
Newly emerging safety standards are driving system-on-chip manufacturers to develop better errordetection and correction mechanisms as well as verification environments for their systems. Fault injection in models is one enhancement for verification environments with which chip aging and safety-critical features (e.g., resilience against radiation sensitivity) are verified. SystemC offers the ability to design functional models on different abstraction levels (e.g., register transfer level, transaction-level modeling). Using the SystemC Fault-Injection Tool (SCFIT), faults are injected into SystemC models without modifying the original models. In this paper, we propose SCFIT Gen, an add-on for SCFIT, which automatically generates the SCFIT user-defined files and documentation about the generated fault-injection processes. Keywords—fault injection; system-level verification; system-on-chip; SystemC
منابع مشابه
A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملAutomatic Generation of a Multi Agent System for Crisis Management by a Model Driven Approach
Considering the increasing occurrences of unexpected events and the need for pre-crisis planning in order to reduce risks and losses, modeling instant response environments is needed more than ever. Modeling may lead to more careful planning for crisis-response operations, such as team formation, task assignment, and doing the task by teams. A common challenge in this way is that the model shou...
متن کاملAutomatic Workflow Generation and Modification by Enterprise Ontologies and Documents
This article presents a novel method and development paradigm that proposes a general template for an enterprise information structure and allows for the automatic generation and modification of enterprise workflows. This dynamically integrated workflow development approach utilises a conceptual ontology of domain processes and tasks, enterprise charts, and enterprise entities. It also suggests...
متن کاملAutomatic Workflow Generation and Modification by Enterprise Ontologies and Documents
This article presents a novel method and development paradigm that proposes a general template for an enterprise information structure and allows for the automatic generation and modification of enterprise workflows. This dynamically integrated workflow development approach utilises a conceptual ontology of domain processes and tasks, enterprise charts, and enterprise entities. It also suggests...
متن کاملThe Generation of Earthquake PGA Using Stochastic Finite Fault Method in Alborz Region
Time-history analysis is defined as a kind of dynamic analysis increasingly used in design of structures and evaluation of existing ones. One of the important issues in the Time-history analysis is selecting earthquake records. In this case, seismic design provisions states that time histories shall have similar source mechanisms, geological and seismological features with region under study. A...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014